package com.googlecode.kipler.reasoning;

import com.googlecode.kipler.container.dl.Individual;
import com.googlecode.kipler.syntax.concept.Nominal;

public class NominalClashCondition {
	private Individual individual;

	private Nominal positive;

	private Nominal negative;

	public NominalClashCondition(Individual individual,
			Nominal positiveNominal, Nominal negativeNominal) {
		super();
		this.individual = individual;
		this.positive = positiveNominal;
		this.negative = negativeNominal;
	}

	public Individual getIndividual() {
		return individual;
	}

	public void setIndividual(Individual individual) {
		this.individual = individual;
	}

	public Nominal getPositive() {
		return positive;
	}

	public void setPositive(Nominal positiveNominal) {
		this.positive = positiveNominal;
	}

	public Nominal getNegative() {
		return negative;
	}

	public void setNegative(Nominal negativeNominal) {
		this.negative = negativeNominal;
	}

}
